module LineEndings.Mac wherepostulate ThisWorks : Set